The purely functional software deployment model

نویسنده

  • Eelco Dolstra
چکیده

ie over hashes Uiteraard dienen gebruikers en ontwikkelaars niet geconfron-teerd te worden met bestandsnamen met eerdergenoemde hashes. Dat is gelukkig ookniet het geval. Ze worden verborgen voor gebruikers door zogeheten user environmentsdie een verzameling “geactiveerde” componenten beschikbaar maken voor de gebruiker.User environments zijn zelf ook (automatisch gegenereerde) componenten. Ze kunnen dusgebroederlijk naast elkaar bestaan. Dit stelt de gebruikers van een systeem in staat om ver-schillende user environments te gebruiken. Ook maakt het een rollback mogelijk waarbijinstallatieof upgradeacties teruggedraaid worden. Dit is een belangrijke eigenschap inbijvoorbeeld serveromgevingen.Evenmin hoeven ontwikkelaars rechtstreeks met hashes te werken. Nix componentenworden namelijk gebouwd uit Nix-expressies (hoofdstukken 2 en 4). Dit is een eenvoudigefunctionele taal die beschrijft hoe componenten gebouwd en samengesteld moeten worden.Uit deze beschrijvingen berekent Nix de paden waar de componenten opgeslagen worden. Transparant source/binary deploymentmodel Het uitrollen van Nix-expressies naardoelmachines levert een source-deploymentmodel op, omdat ze beschrijven hoe compo-

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

A Reference Architecture for Distributed Software Deployment

The goal of this thesis is to design a reference architecture for distributed software deployment, utilising the Nix package manager which implements the purely functional deployment model. Nix offers several unique advantages over conventional deployment approaches. Because this deployment model is relatively unknown, this chapter explains the background concepts. The concepts described in thi...

متن کامل

A Push Infrastructure for Mobile Application Deployment in Mobile Environments

Mobile devices tend to be a synonym of variety. Variety both in hardware capabilities and software act as restrictions to software development and deployment. Other restrictions arise from their condition of mobility, environmental conditions such as bandwidth, coverage availability, lighting and availability of services. In that perspective, this work intends to explore the possibility of a mo...

متن کامل

Multimodeling: A Preliminary Case Study

We take a pre-existing Statecharts model of a simple traffic light controller and re-implement it in Ptolemy II. This exercise reveals that Statecharts can be usefully conceptualized as a hierarchical combination of two distinct models of computation (MoCs), finite state machines (FSMs) and synchronous/reactive (SR). Once conceptualized this way, we can add additional MoCs to the mix. We illust...

متن کامل

Product Line Feature Typing: Identifying Complexity and Assisting Product Line Development

Product lines encompass baseline and optional feature extensions that distinguish individual products. Managing these products is difficult both from a development and maintenance perspective, because the features' nature frequently differs. Categorizing the types of features can help product designers plan for product line expansion or re-targeting. In this paper we present an evolving model c...

متن کامل

A Constraint Model for Automated Deployment of Automotive Control Software

In this paper we address automated software deployment for embedded automotive systems in terms of a constraint satisfaction problem (CSP). Our purely model-based approach allows for fully automatic deployment of software functions in a resource-constrained system (exemplified in terms of memory and bus load). Besides of its applicability in an early stage of development, most notably, our mode...

متن کامل

A Contract-Based Approach of Resource-Constrained Software Deployment

Software deployment can turn into a baffling problem when the components being deployed exhibit non-functional requirements. If the platform on which such components are deployed cannot satisfy their non-functional requirements, then they may in turn fail to perform satisfactorily. In this paper we propose a contract-based approach of resource-constrained software deployment. We thus focus on a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006